REF, NoConds
Unfolds ``$abs`` $hyp == Unfolds ``$abs`` ( $hyp) 

latex

Up	Tactics as terms
FDL editor aliases	-unfs